statically typed language vs dynamically typed language